<TITLE>prob001: car sequencing</TITLE>
<HR><!------------------------------------------------------------------------>
<CENTER>
<H1>prob001: car sequencing</H1>

<TABLE>
<TR> <TD> proposed by
     <TD ALIGN=LEFT> <A HREF="http://www.scs.leeds.ac.uk/bms/home.html">
          <B>Barbara Smith</B></A> 
          <ADDRESS><a href="mailto:bms@scs.leeds.ac.uk">
          bms@scs.leeds.ac.uk</a></ADDRESS>
</TABLE>
</CENTER>
<HR><!------------------------------------------------------------------------>
<H3> References </H3>
<P>
B.D. Parrello, W.C. Kabat and L. Wos.  Job-shop scheduling using automated
reasoning: a case study of the car-sequencing problem.  Journal of
Automated Reasoning, 2: 1-42, 1986.

<P>
M. Dincbas, H. Simonis, and P. van Hentenryck.  Solving the car-sequencing 
problem in constraint logic programming.  In Y. Kodratoff, editor, 
Proceedings ECAI-88, pp. 290--295, 1988.

<P><A HREF="http://www.cs.strath.ac.uk/~apes/reports/apes-02-1998.ps.gz">
Two Results on Car-sequencing Problems.</A>
Ian Gent. 
APES Report APES-02-1998:
April 1998.  Available from 
<a href="http://www.apes.cs.strath.ac.uk/apesreports.html">
http://www.apes.cs.strath.ac.uk/apesreports.html
</a>.

<P>
P. van Hentenryck, H. Simonis, and M. Dincbas.  Constraint Satisfaction 
using Constraint Logic Programming.  Artificial Intelligence, 58:113--159, 
1992.


<P>
<A HREF="file://www.scs.leeds.ac.uk/scs/doc/reports/1996/96_26.ps.Z">
Succeed-first or Fail-first: A Case Study in Variable and Value Ordering Heuristics
</A>.
Barbara Smith, Research Report 96.26, September 1996. (Presented at the ILOG Solver and ILOG Schedule 2nd International Users' Conference, Paris, July 1996. Also in the
Proceedings of PACT'97, Third International Conference 
on the Practical Applications of Constraint Technology, pp. 321-330, 1997)
<P>

J.-C. Regin and J.-F. Puget.  A Filtering Algorithm for Global Sequencing 
Constraints.  In G. Smolka, editor, Principles and Practice of Constraint
Programming - CP97, LNCS 1330, pp. 32--46.  Springer-Verlag, 1997.

<P>
<A HREF="http://www.cse.cuhk.edu.hk/~isl/paper/jlee/95/egenet.ps.gz">
Extending GENET for non-binary CSP's</A>.
J.H.M. Lee, H.F. Leung, and H.W. Won,
Seventh IEEE International Conference on Tools with Artificial Intelligence, IEEE
       Computer Society Press, p.338-343, Washington D.C., USA, November, 1995.

<P>
<A HREF="http://www.cse.cuhk.edu.hk/~isl/paper/jlee/98/library.ps.gz">
 Performance of a Comprehensive and Efficient Constraint Library using Local Search
</A>.
J.H.M. Lee, H.F. Leung, and H.W. Won,
11th Australian Joint Conference on
       Artificial Intelligence, Springer-Verlag, LNAI, Brisbane, Australia, July, 1998 

<P>
A program to solve the car sequencing problem is included as a
demonstration program with ILOG Solver and is described in the User
Manual.  The program requires a slightly different format than given here, 
since the options file is included with the car data.



</UL>


<HR><!------------------------------------------------------------------------>

<UL>

 <A HREF="../../index.html"> Back</A> to CSPLib home page.


